Kubyshkina, Ekaterina; Petrolo, Mattia What is normal? (English) Zbl 07686243 Log. Anal., Nouv. Sér. 65, No. 257, 25-37 (2022). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{E. Kubyshkina} and \textit{M. Petrolo}, Log. Anal., Nouv. Sér. 65, No. 257, 25--37 (2022; Zbl 07686243) Full Text: DOI
Lethen, Tim Gödel’s modal dogmatic logic and the Filioque a case study. (English) Zbl 07686242 Log. Anal., Nouv. Sér. 65, No. 257, 1-23 (2022). MSC: 03B80 03B45 03B16 03A05 PDFBibTeX XMLCite \textit{T. Lethen}, Log. Anal., Nouv. Sér. 65, No. 257, 1--23 (2022; Zbl 07686242) Full Text: DOI
Geudens, Christophe; Demey, Lorenz On the Aristotelian roots of the modal square of opposition. (English) Zbl 07686235 Log. Anal., Nouv. Sér. 64, No. 255, 313-348 (2021). Reviewer: Jens Lemanski (Münster) MSC: 03A05 PDFBibTeX XMLCite \textit{C. Geudens} and \textit{L. Demey}, Log. Anal., Nouv. Sér. 64, No. 255, 313--348 (2021; Zbl 07686235) Full Text: DOI
Hinnion, Roland Pure term models for modal, intensional set theory. (English) Zbl 1436.03268 Log. Anal., Nouv. Sér. 61, No. 244, 513-520 (2018). MSC: 03E70 03B45 03C30 PDFBibTeX XMLCite \textit{R. Hinnion}, Log. Anal., Nouv. Sér. 61, No. 244, 513--520 (2018; Zbl 1436.03268) Full Text: DOI
Olkhovikov, Grigory K. A completeness result for the implicit justification STIT logic. (English) Zbl 1477.03042 Log. Anal., Nouv. Sér. 61, No. 243, 341-406 (2018). MSC: 03B42 03B45 PDFBibTeX XMLCite \textit{G. K. Olkhovikov}, Log. Anal., Nouv. Sér. 61, No. 243, 341--406 (2018; Zbl 1477.03042) Full Text: DOI arXiv
Ciuni, Roberto; Lorini, Emiliano Comparing semantics for temporal STIT logic. (English) Zbl 1436.03121 Log. Anal., Nouv. Sér. 61, No. 243, 299-339 (2018). MSC: 03B44 03B45 PDFBibTeX XMLCite \textit{R. Ciuni} and \textit{E. Lorini}, Log. Anal., Nouv. Sér. 61, No. 243, 299--339 (2018; Zbl 1436.03121) Full Text: DOI
Van De Putte, Frederik (ed.) Collective agency, games, and STIT logic: new developments and applications. Editorial. (English) Zbl 1422.00037 Log. Anal., Nouv. Sér. 61, No. 243, 233-235 (2018). MSC: 00B25 03-06 03B42 03B45 PDFBibTeX XMLCite \textit{F. Van De Putte} (ed.), Log. Anal., Nouv. Sér. 61, No. 243, 233--235 (2018; Zbl 1422.00037) Full Text: DOI
Shaffer, Michael J. Might/would duality and the probabilities of counterfactuals. (English) Zbl 1420.03014 Log. Anal., Nouv. Sér. 61, No. 242, 119-124 (2018). MSC: 03A05 03B45 03B65 PDFBibTeX XMLCite \textit{M. J. Shaffer}, Log. Anal., Nouv. Sér. 61, No. 242, 119--124 (2018; Zbl 1420.03014) Full Text: DOI
Tranchini, Luca; Cobreros, Pablo Proof analysis of global consequence. (English) Zbl 1417.03289 Log. Anal., Nouv. Sér. 60, No. 239, 355-373 (2017). MSC: 03F05 03B45 03F03 PDFBibTeX XMLCite \textit{L. Tranchini} and \textit{P. Cobreros}, Log. Anal., Nouv. Sér. 60, No. 239, 355--373 (2017; Zbl 1417.03289) Full Text: DOI
Morato, Vittorio How to reject a counterfactual. (English) Zbl 1412.03012 Log. Anal., Nouv. Sér. 60, No. 239, 317-335 (2017). Reviewer: Valentin F. Goranko (Johannesburg) MSC: 03B60 03B45 03A05 PDFBibTeX XMLCite \textit{V. Morato}, Log. Anal., Nouv. Sér. 60, No. 239, 317--335 (2017; Zbl 1412.03012) Full Text: DOI
Pan, Tianqun; Yang, Chungui A logic for weak essence and strong accident. (English) Zbl 1403.03034 Log. Anal., Nouv. Sér. 60, No. 238, 179-190 (2017). Reviewer: Damas Gruska (Bratislava) MSC: 03B45 PDFBibTeX XMLCite \textit{T. Pan} and \textit{C. Yang}, Log. Anal., Nouv. Sér. 60, No. 238, 179--190 (2017; Zbl 1403.03034) Full Text: DOI
Peterson, Clayton; Marquis, Jean-Pierre Formal philosophy and legal reasoning the validity of legal inferences. (English) Zbl 1384.03064 Log. Anal., Nouv. Sér. 59, No. 234, 227-263 (2016). MSC: 03A05 03B45 03B60 PDFBibTeX XMLCite \textit{C. Peterson} and \textit{J.-P. Marquis}, Log. Anal., Nouv. Sér. 59, No. 234, 227--263 (2016; Zbl 1384.03064) Full Text: DOI
Peterson, Clayton From linguistics to deontic logic via category theory. (English) Zbl 1396.03036 Log. Anal., Nouv. Sér. 59, No. 235, 317-346 (2016). MSC: 03B45 03G30 18B99 PDFBibTeX XMLCite \textit{C. Peterson}, Log. Anal., Nouv. Sér. 59, No. 235, 317--346 (2016; Zbl 1396.03036) Full Text: DOI
Forster, Thomas; Goré, Rajeev Yablo’s paradox as a theorem of modal logic. (English) Zbl 1396.03031 Log. Anal., Nouv. Sér. 59, No. 235, 265-271 (2016). MSC: 03B45 PDFBibTeX XMLCite \textit{T. Forster} and \textit{R. Goré}, Log. Anal., Nouv. Sér. 59, No. 235, 265--271 (2016; Zbl 1396.03031) Full Text: DOI
Świętorzecka, Kordula; Czermak, Johannes A logic of change with modalities. (English) Zbl 1371.03021 Log. Anal., Nouv. Sér. 58, No. 232, 509-525 (2015). MSC: 03B44 03B45 PDFBibTeX XMLCite \textit{K. Świętorzecka} and \textit{J. Czermak}, Log. Anal., Nouv. Sér. 58, No. 232, 509--525 (2015; Zbl 1371.03021) Full Text: DOI
Gilbert, David R. Actuality, quantifiers, and actuality quantifiers. (English) Zbl 1371.03024 Log. Anal., Nouv. Sér. 58, No. 232, 457-486 (2015). MSC: 03B45 PDFBibTeX XMLCite \textit{D. R. Gilbert}, Log. Anal., Nouv. Sér. 58, No. 232, 457--486 (2015; Zbl 1371.03024) Full Text: DOI
Iacona, Andrea Ockhamism and quantified modal logic. (English) Zbl 1372.03034 Log. Anal., Nouv. Sér. 58, No. 231, 353-370 (2015). MSC: 03B44 03B45 03A05 PDFBibTeX XMLCite \textit{A. Iacona}, Log. Anal., Nouv. Sér. 58, No. 231, 353--370 (2015; Zbl 1372.03034) Full Text: DOI
Cresswell, M. J. Arnould Bayart’s modal completeness theorems translated with an introduction and commentary. (English) Zbl 1372.03040 Log. Anal., Nouv. Sér. 58, No. 229, 89-142 (2015). MSC: 03B45 03B15 03-03 01A60 01A75 PDFBibTeX XMLCite \textit{M. J. Cresswell}, Log. Anal., Nouv. Sér. 58, No. 229, 89--142 (2015; Zbl 1372.03040) Full Text: DOI
Vanderveken, Daniel Quantification and predication in modal predicative propositional logic. (English) Zbl 1372.03042 Log. Anal., Nouv. Sér. 58, No. 229, 35-55 (2015). MSC: 03B45 03B60 03A05 PDFBibTeX XMLCite \textit{D. Vanderveken}, Log. Anal., Nouv. Sér. 58, No. 229, 35--55 (2015; Zbl 1372.03042) Full Text: DOI
Poggiolesi, Francesca; Hill, Brian Common knowledge: a finitary calculus with a syntactic cut-elimination procedure. (English) Zbl 1373.03019 Log. Anal., Nouv. Sér. 58, No. 230, 279-306 (2015). MSC: 03B42 03B45 03F05 PDFBibTeX XMLCite \textit{F. Poggiolesi} and \textit{B. Hill}, Log. Anal., Nouv. Sér. 58, No. 230, 279--306 (2015; Zbl 1373.03019) Full Text: DOI
Awodey, Steve; Kishida, Kohei; Kotzsch, Hans-Christoph Topos semantics for higher-order modal logic. (English) Zbl 1364.03092 Log. Anal., Nouv. Sér. 57, No. 228, 591-636 (2014). MSC: 03G30 03B45 03B15 18B25 PDFBibTeX XMLCite \textit{S. Awodey} et al., Log. Anal., Nouv. Sér. 57, No. 228, 591--636 (2014; Zbl 1364.03092) Full Text: DOI arXiv
Morato, Vittorio Validity and actuality. (English) Zbl 1369.03057 Log. Anal., Nouv. Sér. 57, No. 227, 379-405 (2014). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{V. Morato}, Log. Anal., Nouv. Sér. 57, No. 227, 379--405 (2014; Zbl 1369.03057) Full Text: DOI
Pizzi, Claudio Bimodal fragments of contingency logics. (English) Zbl 1323.03019 Log. Anal., Nouv. Sér. 56, No. 224, 425-438 (2013). MSC: 03B45 PDFBibTeX XMLCite \textit{C. Pizzi}, Log. Anal., Nouv. Sér. 56, No. 224, 425--438 (2013; Zbl 1323.03019)
Strasser, Christian; Beirlaen, Mathieu; Meheus, Joke Tolerating deontic conflicts by adaptively restricting inheritance. (English) Zbl 1288.03018 Log. Anal., Nouv. Sér. 55, No. 219, 477-506 (2012). Reviewer: Louis F. Goble (Salem) MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{C. Strasser} et al., Log. Anal., Nouv. Sér. 55, No. 219, 477--506 (2012; Zbl 1288.03018)
Bentzen, Martin Mose Deontic reasoning with incomplete trust. (English) Zbl 1258.03023 Log. Anal., Nouv. Sér. 54, No. 215, 327-342 (2011). Reviewer: Louis F. Goble (Salem) MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{M. M. Bentzen}, Log. Anal., Nouv. Sér. 54, No. 215, 327--342 (2011; Zbl 1258.03023)
Béziau, Jean-Yves A new four-valued approach to modal logic. (English) Zbl 1228.03003 Log. Anal., Nouv. Sér. 54, No. 213, 109-121 (2011). Reviewer: Heinrich Wansing (Bochum) MSC: 03B45 03B50 PDFBibTeX XMLCite \textit{J.-Y. Béziau}, Log. Anal., Nouv. Sér. 54, No. 213, 109--121 (2011; Zbl 1228.03003)
Akama, Seiki; Murai, Tetsuya; Miyamoto, Sadaaki A three-valued modal tense logic for the master argument. (English) Zbl 1244.03012 Log. Anal., Nouv. Sér. 54, No. 213, 19-30 (2011). MSC: 03A05 01A20 03-03 03B45 03B50 PDFBibTeX XMLCite \textit{S. Akama} et al., Log. Anal., Nouv. Sér. 54, No. 213, 19--30 (2011; Zbl 1244.03012)
Kelly, Charles J. A converse Barcan formula in Aristotle’s modal logic. (English) Zbl 1244.03005 Log. Anal., Nouv. Sér. 54, No. 213, 3-18 (2011). MSC: 03-03 01A20 03A05 03B45 PDFBibTeX XMLCite \textit{C. J. Kelly}, Log. Anal., Nouv. Sér. 54, No. 213, 3--18 (2011; Zbl 1244.03005)
Cresswell, M. J. The modal predicate logic of real time. (English) Zbl 1206.03021 Log. Anal., Nouv. Sér. 53, No. 209, 3-7 (2010). MSC: 03B45 PDFBibTeX XMLCite \textit{M. J. Cresswell}, Log. Anal., Nouv. Sér. 53, No. 209, 3--7 (2010; Zbl 1206.03021)
Lycke, Hans Fitch-style natural deduction for modal paralogics. (English) Zbl 1190.03030 Log. Anal., Nouv. Sér. 52, No. 207, 193-218 (2009). MSC: 03B53 03B45 PDFBibTeX XMLCite \textit{H. Lycke}, Log. Anal., Nouv. Sér. 52, No. 207, 193--218 (2009; Zbl 1190.03030)
Sart, Frédéric A purely combinatorial approach to deontic logic. (English) Zbl 1186.03013 Log. Anal., Nouv. Sér. 52, No. 206, 131-138 (2009). Reviewer: Louis F. Goble (Salem) MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{F. Sart}, Log. Anal., Nouv. Sér. 52, No. 206, 131--138 (2009; Zbl 1186.03013)
Damböck, Christian Philosophical logic in a framework of propositional logic. (English) Zbl 1211.03007 Log. Anal., Nouv. Sér. 52, No. 205, 21-37 (2009). MSC: 03A05 03B05 03B45 PDFBibTeX XMLCite \textit{C. Damböck}, Log. Anal., Nouv. Sér. 52, No. 205, 21--37 (2009; Zbl 1211.03007)
Åqvist, Lennart Alchourrón and Bulygin on deontic logic and the logic of norm-propositions: axiomatization and representability results. (English) Zbl 1166.03008 Log. Anal., Nouv. Sér. 51, No. 203, 225-261 (2008). Reviewer: David Makinson (London) MSC: 03B45 03A05 03B60 PDFBibTeX XMLCite \textit{L. Åqvist}, Log. Anal., Nouv. Sér. 51, No. 203, 225--261 (2008; Zbl 1166.03008)
Lucas, Thierry Deontic algebras of actions. (English) Zbl 1152.03009 Log. Anal., Nouv. Sér. 51, No. 202, 103-123 (2008). Reviewer: Louis F. Goble (Salem) MSC: 03A05 03B45 03G25 PDFBibTeX XMLCite \textit{T. Lucas}, Log. Anal., Nouv. Sér. 51, No. 202, 103--123 (2008; Zbl 1152.03009)
Lucas, Thierry Axioms for action. (English) Zbl 1136.03005 Log. Anal., Nouv. Sér. 50, No. 200, 367-389 (2007). Reviewer: Louis F. Goble (Salem) MSC: 03A05 03B45 03G25 PDFBibTeX XMLCite \textit{T. Lucas}, Log. Anal., Nouv. Sér. 50, No. 200, 367--389 (2007; Zbl 1136.03005)
Cresswell, M. J. The Prior future. (English) Zbl 1129.03002 Log. Anal., Nouv. Sér. 50, No. 199, 289-302 (2007). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{M. J. Cresswell}, Log. Anal., Nouv. Sér. 50, No. 199, 289--302 (2007; Zbl 1129.03002)
Allo, Patrick Local information and adaptive consequence. (English) Zbl 1118.03009 Log. Anal., Nouv. Sér. 49, No. 196, 461-488 (2006). MSC: 03B42 03B45 03A05 PDFBibTeX XMLCite \textit{P. Allo}, Log. Anal., Nouv. Sér. 49, No. 196, 461--488 (2006; Zbl 1118.03009)
Floridi, Luciano The logic of being informed. (English) Zbl 1124.03003 Log. Anal., Nouv. Sér. 49, No. 196, 433-460 (2006). Reviewer: Pavel Materna (Praha) MSC: 03B42 03B45 03A05 PDFBibTeX XMLCite \textit{L. Floridi}, Log. Anal., Nouv. Sér. 49, No. 196, 433--460 (2006; Zbl 1124.03003)
Shaffer, Michael J.; Morris, Jeremy A paradox for possible worlds semantics. (English) Zbl 1112.03005 Log. Anal., Nouv. Sér. 49, No. 195, 307-317 (2006). Reviewer: Max A. Freund (San José) MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{M. J. Shaffer} and \textit{J. Morris}, Log. Anal., Nouv. Sér. 49, No. 195, 307--317 (2006; Zbl 1112.03005)
Lucas, Thierry Von Wright’s action revisited: actions as morphisms. (English) Zbl 1107.03007 Log. Anal., Nouv. Sér. 49, No. 193, 85-115 (2006). Reviewer: Louis F. Goble (Salem) MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{T. Lucas}, Log. Anal., Nouv. Sér. 49, No. 193, 85--115 (2006; Zbl 1107.03007)
Goble, Lou Paraconsistent modal logic. (English) Zbl 1105.03024 Log. Anal., Nouv. Sér. 49, No. 193, 3-29 (2006). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B53 03B45 PDFBibTeX XMLCite \textit{L. Goble}, Log. Anal., Nouv. Sér. 49, No. 193, 3--29 (2006; Zbl 1105.03024)
Mortensen, Chris It isn’t so, but could it be? (English) Zbl 1084.03503 Log. Anal., Nouv. Sér. 48, No. 189-192, 351-360 (2005). MSC: 03A05 PDFBibTeX XMLCite \textit{C. Mortensen}, Log. Anal., Nouv. Sér. 48, No. 189--192, 351--360 (2005; Zbl 1084.03503)
Marcos, João Nearly every normal modal logic is paranormal. (English) Zbl 1084.03015 Log. Anal., Nouv. Sér. 48, No. 189-192, 279-300 (2005). MSC: 03B45 03B53 PDFBibTeX XMLCite \textit{J. Marcos}, Log. Anal., Nouv. Sér. 48, No. 189--192, 279--300 (2005; Zbl 1084.03015)
Miroiu, Adrian World-indexed sentences and modality. (English) Zbl 1084.03006 Log. Anal., Nouv. Sér. 48, No. 189-192, 209-221 (2005). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{A. Miroiu}, Log. Anal., Nouv. Sér. 48, No. 189--192, 209--221 (2005; Zbl 1084.03006)
Materna, Pavel Ordinary modalities. (English) Zbl 1108.03024 Log. Anal., Nouv. Sér. 48, No. 189-192, 57-70 (2005). Reviewer: Max A. Freund (San José) MSC: 03B45 03B65 03A05 PDFBibTeX XMLCite \textit{P. Materna}, Log. Anal., Nouv. Sér. 48, No. 189--192, 57--70 (2005; Zbl 1108.03024)
Cresswell, Max Even modal realists should do the best they can. (English) Zbl 1098.03011 Log. Anal., Nouv. Sér. 48, No. 189-192, 3-13 (2005). MSC: 03A05 PDFBibTeX XMLCite \textit{M. Cresswell}, Log. Anal., Nouv. Sér. 48, No. 189--192, 3--13 (2005; Zbl 1098.03011)
Balbiani, Philippe Reasoning about vague concepts in the theory of property systems. (English) Zbl 1076.03020 Log. Anal., Nouv. Sér. 47, No. 185-188, 445-460 (2004). MSC: 03B70 03B45 68T27 68P15 PDFBibTeX XMLCite \textit{P. Balbiani}, Log. Anal., Nouv. Sér. 47, No. 185--188, 445--460 (2004; Zbl 1076.03020)
Humberstone, Lloyd Yet another “choice of primitives” warning: normal modal logics. (English) Zbl 1086.03014 Log. Anal., Nouv. Sér. 47, No. 185-188, 395-407 (2004). Reviewer: Alfredo Burrieza Muñiz (Málaga) MSC: 03B45 03B44 PDFBibTeX XMLCite \textit{L. Humberstone}, Log. Anal., Nouv. Sér. 47, No. 185--188, 395--407 (2004; Zbl 1086.03014)
Provijn, Dagmar; Meheus, Joke Direct dynamic proofs for classical compatibility. (English) Zbl 1083.03036 Log. Anal., Nouv. Sér. 47, No. 185-188, 305-317 (2004). MSC: 03B60 68T27 03B53 03B45 PDFBibTeX XMLCite \textit{D. Provijn} and \textit{J. Meheus}, Log. Anal., Nouv. Sér. 47, No. 185--188, 305--317 (2004; Zbl 1083.03036)
Leszczyńska, Dorota Socratic proofs for some normal modal propositional logics. (English) Zbl 1078.03016 Log. Anal., Nouv. Sér. 47, No. 185-188, 259-285 (2004). MSC: 03B45 03F07 PDFBibTeX XMLCite \textit{D. Leszczyńska}, Log. Anal., Nouv. Sér. 47, No. 185--188, 259--285 (2004; Zbl 1078.03016)
Meheus, Joke Paraconsistent compatibility. (English) Zbl 1069.03014 Log. Anal., Nouv. Sér. 46, No. 183-184, 251-287 (2003). MSC: 03B53 03B45 PDFBibTeX XMLCite \textit{J. Meheus}, Log. Anal., Nouv. Sér. 46, No. 183--184, 251--287 (2003; Zbl 1069.03014)
Corsi, Giovanna BF, CBF and Lewis semantics. (English) Zbl 1077.03008 Log. Anal., Nouv. Sér. 46, No. 181, 103-122 (2003). Reviewer: Valentin F. Goranko (Johannesburg) MSC: 03B45 PDFBibTeX XMLCite \textit{G. Corsi}, Log. Anal., Nouv. Sér. 46, No. 181, 103--122 (2003; Zbl 1077.03008)
Goldblatt, Robert; Hodkinson, Ian; Venema, Yde On canonical modal logics that are not elementarily determined. (English) Zbl 1060.03037 Log. Anal., Nouv. Sér. 46, No. 181, 77-101 (2003). MSC: 03B45 PDFBibTeX XMLCite \textit{R. Goldblatt} et al., Log. Anal., Nouv. Sér. 46, No. 181, 77--101 (2003; Zbl 1060.03037)
Mares, Edwin D. Halldén-completeness and modal relevant logic. (English) Zbl 1069.03012 Log. Anal., Nouv. Sér. 46, No. 181, 59-76 (2003). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03B45 PDFBibTeX XMLCite \textit{E. D. Mares}, Log. Anal., Nouv. Sér. 46, No. 181, 59--76 (2003; Zbl 1069.03012)
Åqvist, Lennart Future contingents and determinism in Aristotle’s De interpretatione IX: some logical aspects of the so-called second oldest interpretation. (English) Zbl 1065.03008 Log. Anal., Nouv. Sér. 46, No. 181, 13-48 (2003). MSC: 03A05 01A20 03B45 PDFBibTeX XMLCite \textit{L. Åqvist}, Log. Anal., Nouv. Sér. 46, No. 181, 13--48 (2003; Zbl 1065.03008)
Verhoeven, Liza All premises are equal, but some are more equal than others. (English) Zbl 1051.03017 Log. Anal., Nouv. Sér. 44, No. 173-175, 165-188 (2001). Reviewer: Anna Gomolińska (Bialystok) MSC: 03B42 03B53 PDFBibTeX XMLCite \textit{L. Verhoeven}, Log. Anal., Nouv. Sér. 44, No. 173--175, 165--188 (2001; Zbl 1051.03017)
van der Torre, Leendert; Tan, Yao-Hua Two-phase deontic logic. (English) Zbl 1028.03007 Log. Anal., Nouv. Sér. 43, No. 171-172, 411-456 (2000). Reviewer: L.F.Goble (Salem) MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{L. van der Torre} and \textit{Y.-H. Tan}, Log. Anal., Nouv. Sér. 43, No. 171--172, 411--456 (2000; Zbl 1028.03007)
Rahman, Shahid; Rückert, Helge Dialogical modal logic (for T, B, S4 and S5). (Dialogische Modallogik (für T, B, S4 und S5).) (German) Zbl 1015.03026 Log. Anal., Nouv. Sér. 42, No. 167-168, 243-282 (1999). Reviewer: Heinrich Wansing (Dresden) MSC: 03B45 PDFBibTeX XMLCite \textit{S. Rahman} and \textit{H. Rückert}, Log. Anal., Nouv. Sér. 42, No. 167--168, 243--282 (1999; Zbl 1015.03026)
Perzanowski, Jerzy Combination semantics for intensional logics. I. Makings and their use in making combination semantics. (English) Zbl 0999.03004 Log. Anal., Nouv. Sér. 42, No. 165-166, 181-203 (1999). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{J. Perzanowski}, Log. Anal., Nouv. Sér. 42, No. 165--166, 181--203 (1999; Zbl 0999.03004)
Paśniczek, Jacek Beyond consistent and complete possible worlds. (English) Zbl 1008.03520 Log. Anal., Nouv. Sér. 41, No. 161-163, 121-134 (1998). MSC: 03B53 03B45 PDFBibTeX XMLCite \textit{J. Paśniczek}, Log. Anal., Nouv. Sér. 41, No. 161--163, 121--134 (1998; Zbl 1008.03520)
Buchsbaum, Arthur; Pequeno, Tarcisio A general treatment for the deduction theorem in open calculi. (English) Zbl 0979.03010 Log. Anal., Nouv. Sér. 40, No. 157, 9-29 (1997). MSC: 03B22 03B10 03B45 PDFBibTeX XMLCite \textit{A. Buchsbaum} and \textit{T. Pequeno}, Log. Anal., Nouv. Sér. 40, No. 157, 9--29 (1997; Zbl 0979.03010)
Cresswell, M. J. Some incompletable modal predicate logics. (English) Zbl 0978.03016 Log. Anal., Nouv. Sér. 40, No. 160, 321-334 (1997). MSC: 03B45 PDFBibTeX XMLCite \textit{M. J. Cresswell}, Log. Anal., Nouv. Sér. 40, No. 160, 321--334 (1997; Zbl 0978.03016)
Blum, Alex Substitutivity. (English) Zbl 0976.03510 Log. Anal., Nouv. Sér. 40, No. 159, 249-253 (1997). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{A. Blum}, Log. Anal., Nouv. Sér. 40, No. 159, 249--253 (1997; Zbl 0976.03510)
Cresswell, M. J. A note on de re modalities. (English) Zbl 0979.03017 Log. Anal., Nouv. Sér. 40, No. 158, 147-153 (1997). Reviewer: Giacomo Bonanno (Davis) MSC: 03B45 PDFBibTeX XMLCite \textit{M. J. Cresswell}, Log. Anal., Nouv. Sér. 40, No. 158, 147--153 (1997; Zbl 0979.03017)
Lokhorst, Gert-Jan C. Counting the minds of split-brain patients. (English) Zbl 0973.03512 Log. Anal., Nouv. Sér. 39, No. 155-156, 315-324 (1996). MSC: 03B80 91E99 03B45 PDFBibTeX XMLCite \textit{G.-J. C. Lokhorst}, Log. Anal., Nouv. Sér. 39, No. 155--156, 315--324 (1996; Zbl 0973.03512)
Inoué, Takao Corrections and additions to my paper “A note on unprovability-preserving sound translations”, more general constructions. (English) Zbl 0976.03064 Log. Anal., Nouv. Sér. 39, No. 155-156, 335-367 (1996). MSC: 03F25 03B05 03B20 03B45 PDFBibTeX XMLCite \textit{T. Inoué}, Log. Anal., Nouv. Sér. 39, No. 155--156, 335--367 (1996; Zbl 0976.03064)
Rini, Adriane A. The Aristotelicity of Thomason’s semantics. (English) Zbl 0984.03005 Log. Anal., Nouv. Sér. 39, No. 155-156, 255-270 (1996). Reviewer: Osamu Sonobe (Follonica) MSC: 03A05 03B45 03-03 01A20 PDFBibTeX XMLCite \textit{A. A. Rini}, Log. Anal., Nouv. Sér. 39, No. 155--156, 255--270 (1996; Zbl 0984.03005)
Jacquette, Dale Many-valued deontic predications. (English) Zbl 0976.03022 Log. Anal., Nouv. Sér. 39, No. 155-156, 243-254 (1996). MSC: 03B45 03B50 PDFBibTeX XMLCite \textit{D. Jacquette}, Log. Anal., Nouv. Sér. 39, No. 155--156, 243--254 (1996; Zbl 0976.03022)
Van Hees, Martin A game-theoretic logic of norms and actions. (English) Zbl 0976.03023 Log. Anal., Nouv. Sér. 39, No. 155-156, 229-241 (1996). MSC: 03B45 91A80 03B60 91B14 91B08 PDFBibTeX XMLCite \textit{M. Van Hees}, Log. Anal., Nouv. Sér. 39, No. 155--156, 229--241 (1996; Zbl 0976.03023)
Peña, Lorenzo; Ausín, Francisco José Díez Quantificational entitlements and relevantoid deontic logic. (English) Zbl 0974.03505 Log. Anal., Nouv. Sér. 38, No. 150-152, 209-238 (1995). MSC: 03B45 03B47 PDFBibTeX XMLCite \textit{L. Peña} and \textit{F. J. D. Ausín}, Log. Anal., Nouv. Sér. 38, No. 150--152, 209--238 (1995; Zbl 0974.03505)
Sart, Frédéric Semantics for deontic logic. (Sémantique pour la logique déontique.) (French) Zbl 0969.03033 Log. Anal., Nouv. Sér. 38, No. 149, 89-106 (1995). MSC: 03B45 03B05 PDFBibTeX XMLCite \textit{F. Sart}, Log. Anal., Nouv. Sér. 38, No. 149, 89--106 (1995; Zbl 0969.03033)
Knuuttila, Simo; Hallamaa, Olli Roger Roseth and medieval deontic logic. (English) Zbl 0973.03500 Log. Anal., Nouv. Sér. 38, No. 149, 75-87 (1995). MSC: 03-03 01A35 03B45 PDFBibTeX XMLCite \textit{S. Knuuttila} and \textit{O. Hallamaa}, Log. Anal., Nouv. Sér. 38, No. 149, 75--87 (1995; Zbl 0973.03500)
Huang, Zhisheng; Masuch, Michael The logic of permission and obligation in the framework of ALX. 3: How to avoid the paradoxes of deontic logics. (English) Zbl 0974.03023 Log. Anal., Nouv. Sér. 38, No. 149, 55-74 (1995). MSC: 03B45 PDFBibTeX XMLCite \textit{Z. Huang} and \textit{M. Masuch}, Log. Anal., Nouv. Sér. 38, No. 149, 55--74 (1995; Zbl 0974.03023)
Buekens, Filip A decision procedure for von Wright’s OBS-calculus. (English) Zbl 0974.03022 Log. Anal., Nouv. Sér. 38, No. 149, 43-53 (1995). MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{F. Buekens}, Log. Anal., Nouv. Sér. 38, No. 149, 43--53 (1995; Zbl 0974.03022)
Bailhache, Patrice Temporalized deontic worlds with individuals. (English) Zbl 0974.03021 Log. Anal., Nouv. Sér. 38, No. 149, 23-42 (1995). MSC: 03B45 03B44 PDFBibTeX XMLCite \textit{P. Bailhache}, Log. Anal., Nouv. Sér. 38, No. 149, 23--42 (1995; Zbl 0974.03021)
Bailhache, Patrice Canonical models for temporal deontic logic. (English) Zbl 0973.03023 Log. Anal., Nouv. Sér. 38, No. 149, 3-21 (1995). MSC: 03B45 03B44 PDFBibTeX XMLCite \textit{P. Bailhache}, Log. Anal., Nouv. Sér. 38, No. 149, 3--21 (1995; Zbl 0973.03023)
Daniels, Charles B. The general form of a proposition in an especially perspicuous language. (English) Zbl 0973.03505 Log. Anal., Nouv. Sér. 37, No. 147-148, 303-312 (1994). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{C. B. Daniels}, Log. Anal., Nouv. Sér. 37, No. 147--148, 303--312 (1994; Zbl 0973.03505)
Innala, Heikki-Pekka An indefinability argument for conditional obligation. (English) Zbl 0973.03024 Log. Anal., Nouv. Sér. 37, No. 147-148, 295-302 (1994). MSC: 03B45 PDFBibTeX XMLCite \textit{H.-P. Innala}, Log. Anal., Nouv. Sér. 37, No. 147--148, 295--302 (1994; Zbl 0973.03024)
Schurz, Gerhard Hume’s is-ought thesis in logics with alethic-deontic bridge principles. (English) Zbl 0973.03025 Log. Anal., Nouv. Sér. 37, No. 147-148, 265-293 (1994). Reviewer: David Makinson (MR 97m:03040) MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{G. Schurz}, Log. Anal., Nouv. Sér. 37, No. 147--148, 265--293 (1994; Zbl 0973.03025)
Woollaston, Lin Counterpart theory as a semantics for modal logic. (English) Zbl 0973.03026 Log. Anal., Nouv. Sér. 37, No. 147-148, 255-263 (1994). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{L. Woollaston}, Log. Anal., Nouv. Sér. 37, No. 147--148, 255--263 (1994; Zbl 0973.03026)
Goble, Lou Quantified deontic logic with definite descriptions. (English) Zbl 0979.03019 Log. Anal., Nouv. Sér. 37, No. 147-148, 239-253 (1994). Reviewer: David Makinson (Ville d’Avray) MSC: 03B45 PDFBibTeX XMLCite \textit{L. Goble}, Log. Anal., Nouv. Sér. 37, No. 147--148, 239--253 (1994; Zbl 0979.03019)
Trundle, Robert C. jun. Thomas’ second way: A defense by modal scientific reasoning. (English) Zbl 0968.03521 Log. Anal., Nouv. Sér. 37, No. 146, 145-168 (1994). MSC: 03B45 01A35 03-03 PDFBibTeX XMLCite \textit{R. C. Trundle jun.}, Log. Anal., Nouv. Sér. 37, No. 146, 145--168 (1994; Zbl 0968.03521)
Mares, Edwin D. Mostly Meyer modal models. (English) Zbl 0969.03035 Log. Anal., Nouv. Sér. 37, No. 146, 119-128 (1994). MSC: 03B47 03B45 PDFBibTeX XMLCite \textit{E. D. Mares}, Log. Anal., Nouv. Sér. 37, No. 146, 119--128 (1994; Zbl 0969.03035)
Perrick, M.; de Swart, H. C. M. Quantified modal logic, reference and essentialism. (English) Zbl 0877.03009 Log. Anal., Nouv. Sér. 36, No. 143-144, 219-231 (1993). Reviewer: I.Gullvåg (Trondheim) MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{M. Perrick} and \textit{H. C. M. de Swart}, Log. Anal., Nouv. Sér. 36, No. 143--144, 219--231 (1993; Zbl 0877.03009)
Åqvist, Lennart A completeness theorem in deontic logic with systematic frame constants. (English) Zbl 0839.03008 Log. Anal., Nouv. Sér. 36, No. 141-142, 177-192 (1993). Reviewer: L.F.Goble (Salem) MSC: 03B45 PDFBibTeX XMLCite \textit{L. Åqvist}, Log. Anal., Nouv. Sér. 36, No. 141--142, 177--192 (1993; Zbl 0839.03008)
Bailhache, Patrice The deontic branching time: Two related conceptions. (English) Zbl 0839.03009 Log. Anal., Nouv. Sér. 36, No. 141-142, 159-175 (1993). Reviewer: L.F.Goble (Salem) MSC: 03B45 PDFBibTeX XMLCite \textit{P. Bailhache}, Log. Anal., Nouv. Sér. 36, No. 141--142, 159--175 (1993; Zbl 0839.03009)
Restall, Greg Modalities in substructural logics. (English) Zbl 0840.03011 Log. Anal., Nouv. Sér. 36, No. 141-142, 25-38 (1993). Reviewer: M.Zakharyaschev (Berlin) MSC: 03B45 PDFBibTeX XMLCite \textit{G. Restall}, Log. Anal., Nouv. Sér. 36, No. 141--142, 25--38 (1993; Zbl 0840.03011)
Priest, Graham What is a non-normal world? (English) Zbl 0834.03002 Log. Anal., Nouv. Sér. 35, No. 139-140, 291-302 (1992). Reviewer: J.Mackenzie (Sydney) MSC: 03A05 03B45 03B47 PDFBibTeX XMLCite \textit{G. Priest}, Log. Anal., Nouv. Sér. 35, No. 139--140, 291--302 (1992; Zbl 0834.03002)
Cresswell, M. J. In defence of the Barcan formula. (English) Zbl 0823.03007 Logique Anal., Nouv. Sér. 34(1994), No. 135-136, 271-282 (1991). Reviewer: U.Scheffler (Berlin) MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{M. J. Cresswell}, Log. Anal., Nouv. Sér. 34, No. 135--136, 271--282 (1991; Zbl 0823.03007)
Åqvist, Lennart Discrete tense logic with beginning and ending time: An infinite hierarchy of complete axiomatic systems. (English) Zbl 0810.03014 Logique Anal., Nouv. Sér. 34(1994), No. 135-136, 359-401 (1991). MSC: 03B45 PDFBibTeX XMLCite \textit{L. Åqvist}, Log. Anal., Nouv. Sér. 34, No. 135--136, 359--401 (1991; Zbl 0810.03014)
van der Hoek, W. Graded modalities in epistemic logic. (English) Zbl 0814.03015 Logique Anal., Nouv. Sér. 34, No. 133-134, 251-270 (1991). Reviewer: V.Shekhtman (Moskva) MSC: 03B45 68T27 68T30 03B48 PDFBibTeX XMLCite \textit{W. van der Hoek}, Log. Anal., Nouv. Sér. 34, No. 133--134, 251--270 (1991; Zbl 0814.03015)
Thijsse, Elias G. C. Logics of consciousness explained and compared: Partial approaches to actual belief. (English) Zbl 0803.03013 Logique Anal., Nouv. Sér. 34, No. 133-134, 221-250 (1991). Reviewer: H.Wansing (Leipzig) MSC: 03B60 68T27 03B45 PDFBibTeX XMLCite \textit{E. G. C. Thijsse}, Log. Anal., Nouv. Sér. 34, No. 133--134, 221--250 (1991; Zbl 0803.03013)
Muskens, Reinhard Hyperfine-grained meanings in classical logic. (English) Zbl 0799.03003 Logique Anal., Nouv. Sér. 34, No. 133-134, 159-176 (1991). MSC: 03A05 PDFBibTeX XMLCite \textit{R. Muskens}, Log. Anal., Nouv. Sér. 34, No. 133--134, 159--176 (1991; Zbl 0799.03003)
Lucas, Thierry Monotone modality and the \(T\)- scheme. (Modalité monotone et schéma \(T\).) (French) Zbl 0799.03012 Logique Anal., Nouv. Sér. 34, No. 133-134, 151-158 (1991). MSC: 03B45 PDFBibTeX XMLCite \textit{T. Lucas}, Log. Anal., Nouv. Sér. 34, No. 133--134, 151--158 (1991; Zbl 0799.03012)
Lismont, Luc; Mongin, Philippe Common knowledge: A semantics for modal logic. (La connaissance commune: Une sémantique pour la logique modale.) (French) Zbl 0799.03016 Logique Anal., Nouv. Sér. 34, No. 133-134, 133-149 (1991). MSC: 03B45 03B60 03A05 PDFBibTeX XMLCite \textit{L. Lismont} and \textit{P. Mongin}, Log. Anal., Nouv. Sér. 34, No. 133--134, 133--149 (1991; Zbl 0799.03016)
Goré, Rajeev Semi-analytic tableaux for propositional normal modal logics with application to nonmonotonicity. (English) Zbl 0799.03015 Logique Anal., Nouv. Sér. 34, No. 133-134, 73-103 (1991). MSC: 03B45 03B60 03B35 03F05 PDFBibTeX XMLCite \textit{R. Goré}, Log. Anal., Nouv. Sér. 34, No. 133--134, 73--103 (1991; Zbl 0799.03015)
Crabbé, Marcel Two redundancies of Löb’s rule in modal logic. (Deux redondances de la règle de Löb en logique modale.) (French) Zbl 0812.03011 Logique Anal., Nouv. Sér. 34, No. 133-134, 15-22 (1991). Reviewer: V.Shekhtman (Moskva) MSC: 03B45 PDFBibTeX XMLCite \textit{M. Crabbé}, Log. Anal., Nouv. Sér. 34, No. 133--134, 15--22 (1991; Zbl 0812.03011)
van Benthem, Johan Reflections on epistemic logic. (English) Zbl 0814.03002 Logique Anal., Nouv. Sér. 34, No. 133-134, 5-14 (1991). Reviewer: V.Shekhtman (Moskva) MSC: 03A05 03B45 68T27 03-02 PDFBibTeX XMLCite \textit{J. van Benthem}, Log. Anal., Nouv. Sér. 34, No. 133--134, 5--14 (1991; Zbl 0814.03002)
Pizzi, Claudio Stalnaker-Lewis conditionals: Three grades of holistic involvement. (English) Zbl 0795.03008 Logique Anal., Nouv. Sér. 33, No. 131-132, 311-329 (1990). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{C. Pizzi}, Log. Anal., Nouv. Sér. 33, No. 131--132, 311--329 (1990; Zbl 0795.03008)
Inoué, Takao A note on unprovability-preserving sound translations. (English) Zbl 0795.03076 Logique Anal., Nouv. Sér. 33, No. 131-132, 243-257 (1990). MSC: 03F03 03B20 03B05 03B10 03B45 PDFBibTeX XMLCite \textit{T. Inoué}, Log. Anal., Nouv. Sér. 33, No. 131--132, 243--257 (1990; Zbl 0795.03076)